#include<stdio.h>
#include<string.h>
int main(){
    int n;
    char s[10];
    scanf("%d",&n);
    switch(n){
        case 1:
            strcpy(s,"Jan");
            break;
        case 2:
        	strcpy(s,"Feb");
            break;
        case 3:
        	strcpy(s,"Mar");
            break;
        case 4:
        	strcpy(s,"Apr");
            break;
        case 5:
        	strcpy(s,"May");
            break;
        case 6:
        	strcpy(s,"Jun");
            break;
        case 7:
        	strcpy(s,"Jul");
            break;
        case 8:
        	strcpy(s,"Aug");
            break;
        case 9:
        	strcpy(s,"Sept");
            break;
        case 10:
        	strcpy(s,"Oct");
            break;
        case 11:
        	strcpy(s,"Nov");
            break;
        case 12:
        	strcpy(s,"Dec");
            break;
        default:
        	strcpy(s,"ERROR");
            break;
    }
    printf("%s",s);
    return 0;
}
